| Name | Format | # Files | Size | Date |
|---|---|---|---|---|
| ls-lR.Z | GZip archive | 1 | 1KB | 1993-07-05 |
| spectrum.A4.ps.Z | GZip archive | 1 | 225KB | 1993-07-05 |
| spectrum.ps.Z | GZip archive | 1 | 225KB | 1993-07-05 |
| Name | Format | # Pages | Size | Date |
|---|---|---|---|---|
| algecon.tex | LaTeX Document | 63KB | 1993-07-05 | |
| atch.tex | LaTeX Document | 62KB | 1993-07-05 | |
| casthes.tex | LaTeX Document | 25 | 218KB | 1993-07-05 |
| cg.tex | LaTeX Document | 75KB | 1993-07-05 | |
| complete.tex | LaTeX Document | 58KB | 1993-07-05 | |
| crewthes.tex | LaTeX Document | 219KB | 1993-07-05 | |
| dalg.tex | LaTeX Document | 91KB | 1993-07-05 | |
| dti.tex | LaTeX Document | 61KB | 1993-07-05 | |
| es.tex | LaTeX Document | 81KB | 1993-07-05 | |
| ijpp.tex | LaTeX Document | 107KB | 1993-07-05 | |
| iowatr.tex | LaTeX Document | 95KB | 1993-07-05 | |
| jelia.tex | LaTeX Document | 81KB | 1993-07-05 | |
| ldomain.tex | LaTeX Document | 39KB | 1993-07-05 | |
| man.tex | LaTeX Document | 130KB | 1993-07-05 | |
| monoidal.tex | LaTeX Document | 53KB | 1993-07-05 | |
| ocbr.tex | LaTeX Document | 35KB | 1993-07-05 | |
| pp2.tex | LaTeX Document | 42KB | 1993-07-05 | |
| ql.tex | LaTeX Document | 82KB | 1993-07-05 | |
| rep.tex | LaTeX Document | 23KB | 1993-07-05 | |
| scbr.tex | LaTeX Document | 60KB | 1993-07-05 | |
| twod.tex | LaTeX Document | 39KB | 1993-07-05 |
| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| ABSTRACTS | Text File | 600 | 27KB | 1993-07-05 |
| am4.tex | Text File | 725 | 34KB | 1993-07-05 |
| logic.bib | Text File | 2,037 | 66KB | 1993-07-05 |
| README | Text File | 600 | 27KB | 1993-07-05 |
| structdir | Text File | 700 | 49KB | 1993-07-05 |